BoolVar/PB is an open source java library dedicated to the translation ofpseudo-Boolean constraints into CNF formulae. Input constraints can becategorized with tags. Several encoding schemes are implemented in a way thateach input constraint can be translated using one or several encoders,according to the related tags. The library can be easily extended by adding newencoders and / or new output formats.
展开▼
